COM4506 Testing and verification in safety-critical systems (15 credits)

Year Running: 2015/2016

Credit level: F7

Additional Information

Students taking this module are expected to have done a programming module such as COM160 or have completed a first year in the Computer Science Department. The language used in COM4506 assignment is Java hence prior familiarity with it is necessary.

Description

This module provides an introduction to the processes and problems of building complex software such as for use in aerospace applications. Topics covered can be split into four major groups: safety, specification languages, concepts of software engineering, different methods of software testing. A substantial amount of time will be spent on the ideas of software testing and specific testing techniques. 1. Safety includes software and systems safety, methods of performing hazard analysis, human factors and the IEC 61508 standard. 2. Specification languages such as Statecharts. 3. Software engineering concepts focus on the software lifecycle, safe language subsets, software testing and maintenance. 4. The software testing part is concerned with advanced approaches to generating software tests.Students should be aware that there are limited places available on this course.

Reading List

Please click here for reading list.

Teaching Methods

Delivery Type	Hours
Independent	118.0
Lab	2.0
Lecture	30.0

Methods of assessment

Assessment Type	Duration	% of formal assessment	Semester
Course Work	0.0	30 %	S1
Exam	2.0	70 %	S1

Teaching methods and assessment displayed on this page are indicative for 2023-24.